We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of multi-agent belief base. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and doxastic/epistemic alternative are primitive, in our semantics they are non-primitive but are defined from the concept of belief base. We provide a complete axiomatization and prove decidability for our logic via a finite model argument. We also provide a polynomial embedding of our logic into Fagin & Halpern's logic of general awareness and establish a complexity result for our logic via the embedding.

We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of multi-agent belief base. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and doxastic/epistemic alternative are primitive, in our semantics they are non-primitive but are defined from the concept of belief base. We provide a complete axiomatization and a decidability result for our logic.

What is the secret to success? Researchers say'implicit beliefs' are the key to a successful career Who succeeds doesn't depend on just intentions, like being present, experts reveal your implicit beliefs reveal whether you will or will not be successful Students were asked to quickly indicate whether each of a series of words was related to'schoolwork,' was a synonym of'importance' or was a synonym of'unimportance.' Rather than depend on people's explicit beliefs, in our research researchers looked instead to people's implicit beliefs. The team used used a computer-based test called the'Implicit Association Test (IAT)' to measure our participants' implicit beliefs Student participants were asked to indicate, as quickly as they could, using computer keys, whether each of a series of words was related to'schoolwork,' was a synonym of'importance' or was a synonym of'unimportance' In five of our studies, researchers used the test to measure students' cognitive association between'importance' and'schoolwork.' The found that college students' implicit belief in the importance of schoolwork predicted who got higher grades This article was originally published on The Conversation. No comments have so far been submitted.

The kind of belief that underlies terms in AI such as'Know!-